Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition, II
نویسندگان
چکیده
منابع مشابه
nilpotent quotients in finitely presented Lie rings †
A nilpotent quotient algorithm for finitely presented Lie rings over Z (LIENQ) is described. The paper studies the graded and non-graded cases separately. The algorithm computes the so-called nilpotent presentation for a finitely presented, nilpotent Lie ring. A nilpotent presentation consists of generators for the abelian group and the products expressed as linear combinations for pairs formed...
متن کاملSome non-finitely presented Lie Algebras
Let L be a free Lie algebra over a field k, I a non-trivial proper ideal of L, n > 1 an integer. The multiplicator H2(L/I , k) of L/I is not finitely generated, and so in particular, L/I is not finitely presented, even when L/I is finite dimensional.
متن کاملComputing nilpotent quotients in finitely presented Lie rings
A nilpotent quotient algorithm for finitely presented Lie rings over Z (LIENQ) is described. The paper studies the graded and non-graded cases separately. The algorithm computes the so-called nilpotent presentation for a finitely presented, nilpotent Lie ring. A nilpotent presentation consists of generators for the abelian group and the products expressed as linear combinations for pairs formed...
متن کاملSkew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra
Article history: Received 7 October 2011 Accepted 21 May 2012 Available online 23 May 2012
متن کاملFinitely Presented Modules over Semihereditary Rings
We prove that each almost local-global semihereditary ring R has the stacked bases property and is almost Bézout. More precisely, if M is a finitely presented module, its torsion part tM is a direct sum of cyclic modules where the family of annihilators is an ascending chain of invertible ideals. These ideals are invariants of M. Moreover M/tM is a projective module which is isomorphic to a dir...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2009
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2008.04.007